stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems

Cyber-physical-social systems (CPSS) have recently gained attention from researchers due to their combination of cyber, physical, and social spaces. Modeling Analysis Real-Time Embedded (MARTE) is a Unified Language (UML) extension profile that supports the specification, design, verification Systems (RTES). While MARTE Statecharts can assist in describing CPS, it does not model uncertainty within CPSS environment. To enhance accuracy analysis, we propose stohMCharts (stochastic hybrid statecharts) modelling framework as an statecharts for analyzing stochastic systems. unified manner. Additionally, based on mapping rules algorithms, developed tool convert models built stohMChart language into Networks Stochastic Hybrid Automata (NSHA) which be verified by statistical checker UPPAAL-SMC. We demonstrate efficiency applying one autonomous driving scenarios.